New Results for Horn Cores and Envelopes of Horn Disjunctions
نویسندگان
چکیده
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs that has appealing properties (e.g., it is polynomial for a bounded disjunction). Furthermore, we show that recognizing the Horn envelope of a disjunction of two Horn CNFs is intractable, and that computing a compact Horn CNF for it (that is irredundant and prime) is not feasible in polynomial total time unless P=NP; this answers an open problem.
منابع مشابه
Disjunctions of Horn Theories and Their Cores
In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core, i.e., a maximal Horn theory included in this disjunction. The problems are investigated for different representations of Horn theories, namely for Horn CNFs and characteristic models. While the prob...
متن کاملDisjunctions of Horn Theories and Their Cores Disjunctions of Horn Theories and Their Cores
In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and Horn envelope (i.e., the minimum Horn theory including the disjunction). The problems are investigated for different representations of ...
متن کاملGroove Gap Waveguide (GGW) H-plane Horn Antenna and a Method for Its Back lobe Suppression
recently a new structure called groove gap waveguide (GGW) is introduced to implement low loss microwave component devices especially for millimeter wave applications. This paper presents a new type of H-plane horn antenna making use of this new technology in which backward radiation is significantly suppressed by introducing a high impedance surface at the antenna aperture. The high impe...
متن کاملStudy of disbudding goat kids following injection of clove oil essence in horn bud region
This study was performed to evaluate the efficacy of injection of essential oil of Eugenia caryophyllata in the kid horn buds, as a new chemical technique for disbudding. Five-day-old healthy goat kids from both sexes (n = 16) were divided randomly into 4 equal groups. In groups 1, 2 and 3, 0.2 mL of clove essence and in group 4 (control) 0.2 mL of normal saline was injected into the l...
متن کاملExtending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond
We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment), the Horn CNF fragment and the affine fragment (also known as the biconditional fragment) as well as seven additional languages based on them, and composed respectively of Krom or Horn CNF formulas, renamable Horn CNF...
متن کامل